<html>
<head><meta charset="utf-8"><title>I-prioritize #52652 Abort instead of unwinding past FFI func · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html">I-prioritize #52652 Abort instead of unwinding past FFI func</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200290773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/200290773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#200290773">(Jun 09 2020 at 21:08)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/52652">#52652</a> has been requested for prioritization.</p>



<a name="200700604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/200700604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#200700604">(Jun 12 2020 at 17:38)</a>:</h4>
<p>bump</p>



<a name="200704507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/200704507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#200704507">(Jun 12 2020 at 18:09)</a>:</h4>
<p>This hasn’t got any progress since a bit of time</p>



<a name="200704562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/200704562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#200704562">(Jun 12 2020 at 18:09)</a>:</h4>
<p>And seems to have a few implications in real-life code given that it was mentioned in other projects as well</p>



<a name="200704689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/200704689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#200704689">(Jun 12 2020 at 18:10)</a>:</h4>
<p>So I think this is a good candidate for <code>P-high</code> to make sure that it makes progress</p>



<a name="200704714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/200704714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#200704714">(Jun 12 2020 at 18:10)</a>:</h4>
<p>Otherwise I think <code>P-medium</code> is fine</p>



<a name="200706375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/200706375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#200706375">(Jun 12 2020 at 18:24)</a>:</h4>
<p>Hmm, also somewhat torn between <code>P-high</code> and <code>P-medium</code>. I mean the undefined behavior happens outside of Rust™ <span aria-label="upside down" class="emoji emoji-1f643" role="img" title="upside down">:upside_down:</span></p>



<a name="200706693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/200706693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#200706693">(Jun 12 2020 at 18:26)</a>:</h4>
<p>As we are soon going to check <code>P-high</code> issues regularly, I think this is something we should keep track of and thus be <code>P-high</code></p>



<a name="200717132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/200717132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#200717132">(Jun 12 2020 at 19:53)</a>:</h4>
<p>feels p-medium to me</p>



<a name="201141860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/201141860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#201141860">(Jun 17 2020 at 13:40)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/52652">#52652</a>'s prioritization request has been removed.</p>



<a name="201169131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/201169131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#201169131">(Jun 17 2020 at 16:53)</a>:</h4>
<p>I think the lang team has been working to resolve this for a while? Let me double-check</p>



<a name="201169188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/201169188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#201169188">(Jun 17 2020 at 16:53)</a>:</h4>
<p>or really, the ffi-unwind project group has been working on it</p>



<a name="201169309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/201169309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#201169309">(Jun 17 2020 at 16:54)</a>:</h4>
<p>with streams <a class="stream" data-stream-id="210922" href="/#narrow/stream/210922-project-ffi-unwind">#project-ffi-unwind</a> and github repo <a href="https://github.com/rust-lang/project-ffi-unwind">https://github.com/rust-lang/project-ffi-unwind</a></p>



<a name="201169629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/201169629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#201169629">(Jun 17 2020 at 16:57)</a>:</h4>
<p>and also this <a href="https://blog.rust-lang.org/inside-rust/2020/02/27/ffi-unwind-design-meeting.html#requirements-for-any-cross-language-unwinding-specification">inside rust blog post</a></p>



<a name="201169745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2352652%20Abort%20instead%20of%20unwinding%20past%20FFI%20func/near/201169745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2352652.20Abort.20instead.20of.20unwinding.20past.20FFI.20func.html#201169745">(Jun 17 2020 at 16:58)</a>:</h4>
<p>having said all that, I think P-high is probably fine</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>